Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
901	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
902	Psychology of Successful Investing Martin Sewell University of Cambridge 12 February 2011 Add to Reading List Source URL: hedonic-editing.behaviouralfinance.net Language: English - Date: 2011-02-15 06:50:36 Behavioral finance Investment Financial markets Mathematical finance Efficient-market hypothesis Modern portfolio theory Market timing Capital asset pricing model Sharpe ratio Financial economics Finance Economics
903	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
904	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
905	Ideas and Growth Robert E. Lucas, Jr.∗ The University of Chicago June, 2008 What is it about modern capitalist economies that allows them, in contrast to all Add to Reading List Source URL: economics.uchicago.edu Language: English - Date: 2011-07-29 12:24:50 Mathematics Statistical models Statistical theory Parametric model Contraction Exponential distribution Symbol Spectral theory of ordinary differential equations Statistics Mathematical analysis Operator theory
906	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
907	Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing
908	Book Review of Sociodynamics: A Systematic Approach to Mathematical Modelling in the Social Sciences by Wolfgang Weidlich, 2002, London: Taylor & Francis, 380 pages, author and subject indexes. This volume represents Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:23 Holism Ethology Mathematics Social systems Social dynamics Synergetics Self-organization Phase transition Economic model Cybernetics Systems theory Science
909	Utility Maximization under Model Uncertainty in Discrete Time Marcel Nutz ∗ Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2015-01-11 14:06:56 Borel set Semi-continuity Analysis Mathematical analysis Mathematics Limit superior and limit inferior
910	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic

UPDATE